bugfix

small bugfix on options