Demonstrate bug fix for #82