Fixed a bug in saving options.