English translation (fixes #3)