Fix #3931