fix a warning (#1800)