Re #6000. Fixing compiler warnings