Fix #3841