The smoke will have drifted back into the room, so it needed cleaning, whether or not people smoked inside.. The cost is probably in the terms and conditions agreed when renting the room. My guess is it is $500 plus tax. It is not meant to cover the actual cost of cleaning, it is intended to provide a disincentive to people smoking in the room. Therefor I doubt the hotel has to prove it incurred extra costs.