tiny.el: fixed up the previous change.