Comments on the formation entropy of a Frenkel defect in BaF 2 and CaF 2