I *thought* i was following the style already used in the file, but apparently the file is self-inconsistent. I have removed the spaces now.