Trivial removal of some trailing whitespace that snuck in