Another function (pause(int s)) we weren't using.

Plus some other small changes.