Fix #3309