some corrections to DSL