lightweight corrections in sec 5
more corrections to section 6