Also fixed the restoring of the refresh interval, which was broken due
to different keys being used for saving and restoring.