As a side note, one way to prevent downward failure of the peg would be to implement an additional mechanism for creating HBD via Hive collateral. But that's a much more complicated mechanism, and I think it's better to make the simple change now, and see if anything more complicated is really needed later.