Fix a build failure.