Updating: preparation for making a Debian package.
Updating: minor fixes.