fixed a few things in the user manual