Minor fix for GCC