Fixes to get a working debugGUI