package debian: add a missing ";"