Fix #4065
2 files changed