Another slight spacing change in the docs