A couple of changes to doc