Public holiday falling within annual leave