fix a build warning