minor tweaks to CONTRIBUTING file