Fix a build error