fix bug in getOption: return OPTION_TOKEN as int instead of hex