Avoid potential collision between the new "options" command...