Minor corrections to docs