fix unrelated trailing whitespace to make travis-ci happy again