minor changes to doc