Minor fix in CMake config comments