Slightly improve CONTRIBUTING