Some minor modifications in translation