Test case for issue #4202