Quickfix: remove old, obsolete definition of ui/coll-view