Correction of handling of command-line arguments.
Editorial correction.
Small correction.