minor fix to documentation.