Another small fix for GCC