Fixed extension of syntaxes