BUG: possible valgrind error in parser.cxx(?)