Minor corrections to English user manual.