Small corrections to user manual.