bug fix in defineOption()