minor fix in code documentation