Fix #3717
1 file changed