(Some) English translations, cleanup.
English translations, cleanup, minor fixes.