add a comment, see #7