Fix #3763