trailing whitespace here and in some other places