Small changes to doc