fix attempt #3785