Fix #3739