Fix: the new handling of command line arguments;
Update: documentation help files.