fix a build problem