documentation minor fix