Fixed post-lecture errors