Minor improvement.
Fix Debian version number.