Minor update to CONTRIBUTING