Fix minor issues in CONTRIBUTING