More updates to CONTRIBUTING