small fix to docs