Fix a build error.