Various updates reflecting today's lectures.