Minor terminology fix