Fixes CMake options documentation