Minor fixed before lecture