added some comments to explodeShortOpts() for some clarity