just-one-space used for redundant whitespace termination