Fix make-dimension-fact