minor fix in documentation