If you're removing this comment can the fact that "whitespace" means whitespace + // + /* */ be documented somewhere else?