Stylistic changes and a few bugs fixed

with the round limiter plugin.

Fixed it not always removing the round timer, for instance, if the round
was reset.

Also fixed it showing one too many notifications (now shows exactly
WarningRepeatTimes messages, rather than +1).