issue #4235