Another fix for GCC