Improve documentation on whitespace control semantics