Simple fix to docs