Minor tweak to DSL syntax