Fix #4096
2 files changed