fixed minor bug in options