Another fix to docs