Correct some docs details.