comment-cruft removed.