Fix examples in lecture 03