correction on DSL