take care of some more gratuitous whitespace