Fix #4713
2 files changed