fixed tiny things in dsl schema