tiny.el: added to the comments.