Minor adjustment to docs