Fix (spurious) warnings.