Nog kleine verbetering in ObjectronGUI.