Test case for failing issue #872