minor updates to doc