(bug 5245) fix whitespace issue

This both fixes the current whitespace problems *and* makes new whitespace issues not fail.