Fix #3630