fix a cargo warning