whitespace normalization - WKB