Use with statement for instance locking
Some additions to the manpage