Fix #4212
2 files changed