Fixes options getting displayed twice.

Fixes #8437.

init_options() gets called twice since #8407 without clearing out all of the global variables.