Minor change in MainWindowController