Fix small bug in get_hecke_reps