Fix for gcc-4.7