update dsl.js