And the of-course-forgotten debian/changelog update