debian specs minor fix