Tiny stupid whitespace cleanup