minor fixes to doc