A tiny fix in cmake.