Patch from Thomas Frohlich to fix an option ordering bug of mine.
1 file changed