A few fixes when following this lecture