Correct mistake in top-level CMakeLists.txt