interface language can be changed in settings now; various minor fixes