Pedants' corner