fixes for lecture 8 and praxis 4