Yes, that is indeed what it should say.