typo (mostly concerning section 6)