Small fixes on CONTRIBUTING