Hello,
After some review, it does seem that there might be an issue with the example. We will be looking into this!
In the meantime, there is a simple example attached to this reply for using external interrupts to wake the processor from sleep mode.
Best of luck,
Réna