Reproduction for issue #72