I can't remember of a real reason why I put that there. Probably only for convenience (especially when typing several commands in a line), but as you say, that's not really necessary. I'll remove it for the next version, unless I can find a place where it actually is necessary.