remove trailing whitespace to placate make tidy.