Correction to lecture 7 (from class).