Fix typo in korean translation

See #6272