Yes, that's an error.  Thank you for spotting it.  (Although as you say, it doesn't matter in practice, since even if they were to change, I suspect they would always be kept equal!)