minor dsl spec modification