fixing syntax errors in Inst