More on public holidays