Fix #3890
2 files changed