minor changes to user manual