fix Collection.indexOf() definition