You're right, I've removed the pointless assertion. The original text doesn't matter - it's just that it is what we set it to afterwards (the original being different of course).