These are just some minor things I came across while poking at the GUI code. The only visible change is that the GTK warning about the notebook label is gone now.