Forgot to update distinfo