fixed bug in parsing of options: unknown options were not detected or reported