please revert this (and in CONTRIBUTORS).  I'll add it myself in a separate change.