Fixup CONTRIBUTING file per Carl's suggestions