minor correction to user manual