another lintian-pickiness fix