Some minor bug fixes

- English translation
- new pdf file