Fix bug about bag star comparisons