Minor corrections, timed to 11 minutes.