Fix a lintian error introduced by previous commit