Minor improvements to seal-test-gui