Minor Gcc compilation fix