There are a very few places in the U.S. where it's not uncommon for restaurants to automatically add the tip to the bill, independently of the number of diners. I've had this happen in Miami Beach, too, so it's possible that this is one of those places.