Yes, you are right. In my calculations, I am using SEV = 0.9 LEV. That way, I collect slightly more shares on the LEV side. The difference is not fundamental though. Both methods would give about similar results.
I tweaked the formula after the book was published.
Pascal