Update mithril.js