Clean up after removal of dom.js