Some minor changes: fix leaves.js and config holiday.