Fix a small translation glitch