Remove old whitespace doc warning

This was fixed by #480.