minor modification to dsl