updated dsl format