(holidays): Doc fix.