Small corrections to the May 10 update.