Minor fix in code documentation.