See main comments.