Fix #3720