Fix a bug with option parsing