no spurious white space!