adopting CERMINE API changes