Another small documentation change