New dist for #13