Minor changes in translation