[DOC] Fix a bad doc comment type hit