small addition to doc