Remove duplicate contributor (sorry Eric ;-)