small translation mistake fix

Correct #1817