Minor fix in getopts