minor changes in the dsl