Minor terminology fix.