This should just say "can be ignored by the user agent". I'll fix locally.