Fix #3249