fixed semicolons, updated READMEs
fixed semicolon issues in binders