Correct some internal docs [ci-skip]