Fix #4073
2 files changed