Fixed compilation bug in gcc