Small revisions to translation.