Fixed a gcc warning