Fix a minor cmake issue