Fix stale distinfo