Fix some doco/spec errors, fix an error getting the timeout for leases