fix for gcc warning