spurious whitespace