hack to fix syntax extensions