add reproduction for #176