Revert pointless variable rename

I don't know what I was thinking when I renamed 'options' to 'args'; the change didn't improve anything.  Hence, I am reverting the name change.