Done. See comments.