Minor corrections to doc