src: fixed a mistake with GCC