avoid warnings

just cosmetic, not urgent.