fix options, see #10