trivial patch to fix options. Thanks to Uwe Hermann for the hint!