Fix #3085