hotfix for a build error