Issue #5: fix comment.