Revise some documentation