minor fix to the docs