minor fix in the documentation