Fix a segmentation fault in the parser