minor cleanup: delete trailing whitespace