Minor tidy-up in CMakeLists.txt