zsh: *: small fixes to options