Absolutely right Tom, I usually try to derive the equations given in boost regulators from first principles and verify they're the same. I actually found an error in one of them where they got the sign wrong. Worth doing, and you then can tweek it for your application.