Some small updates to CONTRIBUTORS file