Small addition to doc