Fix for gcc warning