Another small change in the translation.