Fix #3716