Some fixes to keep the GUI up-to-date