trivial fix for suppress a warning.