I updated the pull request accordingly, thanks @Remo!
This is a change not related to this pull request (before this PR we already exported the translated name), but let's avoid being choosy :wink:)