Fix a bug that int option is ignored