Fix a build failure error