Cosmetics: get rid of trailing whitespace.