minor improvements to doc