correction and additions from following lecture