Correct some xml documentation