Make g++ happy (g++ bug?).