Fixed a bug in the admin listing of options.