Fix a small build error.