Overtime should count in holiday pay