Documentation: add a missing space