fix signature of get_true_supply