This patch works around a parsing problem with g++ 4.3. The parser is