added dsl specs