small code clean-ups in GUI, REST runners