docs/lecture: typo.