make prop_to_loeb_hyp run again