CONTRIBUTING tweaks (thanks @hodgestar)