Lecture02: fix some typos, add ctrl-r