Fix get_elevator().