fix bug in options