Small documentation addendum.