small corrections to user manual