Tiny g++ 4.8.1 fix