Fix #4137
2 files changed