Update ATTRIBUTIONS.txt