FMI: there was more than one re-declaration...