fixed lintian bug about dashed number