Fix #4032
2 files changed