minor fix to documentation