Restored accidentally-deleted comments.