small fixes to the english translation