fix warnings given by gcc