fixing some bugs related to options