Unnecessary whitespace change.  I'll revert it.