Proposal: fix for getOpt (missing feature)