issue #365: adding comments.