corrections to docs