Get rid of a trailing whitespace.

If this causes problems for anyone browsing git logs, ask git to not
show you whitespace-only changes.