Code

debian/changelog: Fix the distribution name.