Bug fix for noGUI option