whitespace
minor bugfix on windows (thanks NC)