Fix the build problem reported by Johnny.