Fix to suppress a warning