Fix #3966