Fixes a build failure