Fixing whitespace alignment to make Maarten happy