debian/copyright: Fix formatting; patch by Adrian Glaubitz.