Fix #3772