fix issue #4069