fixed another GCC bug