A small fix to docs