Whitespace touchup.  No semantic change.