corrects several defects in basic syntax