Fixed a problem in the options system.