fix a bug in the parser