Minor changes to Syntax.