Re #6098. Removing compiler warning.