corrections to revised version, through page 5