minor translation corrections