minor inline doc tweak