Small fix for GCC