fix identification of core developers