issue #9525 is fixed

DSL options corrected