Yes, just making sure I understand it correctly.

For people who are not witness or block producer and didn't receive any DHF rewards. Those two terms are zero. So for most people KE = KE+.

For others it is not.

This seems fine to me.