Update /dist for #9.