translation correction and minor style changes