I agree with your sentiment. We should leave it as is; it's just unfortunate that commander.js doesn't do a better job.