doc: Tiny improvement