Fix #3658