dotslate.js is modified.