fix bug related to options