fixed bug in options