Fix #3213