0005127: New theme should not crash if some options are missing