I didn't, but the docs would seem to agree with you there. I believe that it can just be ``regionStack.pop`` without the cast to ``!``. I will verify that and go ahead and fix it.