change to fix bug in g++-4.7 parsing