mini fix to docs