Various updates reflecting last Monday's lectures.