How do I calculate the DRP on a corporate bond?

The Treasury Bond matures in 10 years and has a yield of 6%
The corporate bond matures in 10 years and has a yield of 9%
The liquidy premium is 0.5%.
What is the default risk premium on the corporate bond?

The difference between 9 and 6 and then subtract 0.5 from it.