Minor update to Debian package