Minor edits of debian control