Fix #3771
2 files changed