fix a bug about option parsing