Verification and Modification of Breaker Height Formulas