added to CONTRIBUTORS