Fix to option parsing for PraSem.