minor updates to user manual