to give the employee credit for a holiday that falls on a day off