Small translation fix. Fixes: #9719