Fix some outright lies in the documentation.