Correct inline doc error in #2235