remove spurious whitespace