fixed semicolon issue with inductive defns