tiny bit of whitespace cleanup