Fix problem with case-sensitive CONTRIBUTORS vs contributors