Ditto: whitespace