This corrects a mistake in the version number introduced in today's commits. Conflicts: debian/changelog