Fix typos and examples in lecture 04