Some corrections to doc