Bugfix: minor translation bug.