Fix #3620