Minor modification in CmakeLists.txt.