Did your editor add a space here? Any reason for it?