minor fix to the documentation