Smoking was never permitted in the other restaurants.