Fix #4192
2 files changed