doc: Tiny whitespace fix