Justin Thomas had funny reaction to weird name screwup