Fix pause() and resume() to work properly

I have no idea what happened to white-spacing. It's small enough that I
don't care at this stage.
1.0.7