minor addition to docs