Syntax

This fixes some silly bugs in the syntax extension.