Reverted my former change to avoid changed translation without good
reason.