A reproduction for a bug