remove extraneous white-space