Nevermind.. I was thinking that this was an artifact of copy/paste. ignore this :)