Minor changes to doc