One more tiny fix to docs