Minor GUI changes (need to ensure no dead ports after server hang)