added reproduction for #79