minor: option tweaks