Huh. It worked this time. I don't know if it makes any difference, but this time I was quitting from GNOME and not KDE.