cleanup (minor) whitespace