You’re right. Setting them on the same minimum wage and removing their tips WOULD net them less money. However just governing them with a higher minimum wage doesn’t mean that’s exactly what they would earn. If they lost all their tips they would all look for other jobs and the employers would have to start paying more in wages. It was probably the right move, legislatively, though it would cause some short term pain.