minor addition to doc