extensions to the parser