Fix some XML comments