Fix #3238

Close #3239
2 files changed