fix handling of options