Minor changes to documentation
Also renamed WITH-LOCK to WITH-POOL-LOCK