small tweaks to History.js implementation (#5)