The Court allowed the amendment without costs, on the ground, that the petitioner would be obliged to pay costs in either event of the suit. If the prayer of his petition should be granted, he must pay costs before he can redeem; if denied, costs will be taxed against him.