Readd contributers, which are removed by accident

in 79ed2fd62d8dffd26783b4524ace8fa396a2ae8c.