Fix strange compilation error