Fix a bug of incorrect compilation.