Removed obsoleted reference to util.list