Small tweak for GCC