Pettiness is unnecessary; time to move on