Which Jewish holiday was it this time?