Fixing a compiler warning. Re #7954