fix a build issue