Correct some documentation