small fix to options