Fixed add_options of dom.js