Fix malformed CMake

Change-Id: Ic23e3444d4cae568cd9fedfa17f095fad1ab6da9