small GCC bug fix