Another small documentation addition.