Typo in top CMake file