remove some changes to syntax extensions