Fix distinfo