Minor formatting fixes
Improved behaviour of RemoteProgress widget upon KeyboardInterrupt