Two corrections for docs/CMake.html.