Correct some internal docs