Minor fix for adding GUndo