GUI changes

Cosmetic changes, plus friendlier traceback printing