Minor fix for option parsing