finnished hand corrections of A_0002.pml