fix core developer name
fix identification of core developers