small changes to doc