Minor editorial correction in User's Guide