minor fix to docs