Just a bit of whitespace cleanup.