Fix bug in options parser