translation corrections for IS #9345