Correct DSL in example