Oops, my previous patch didn't work very well with an empty environment. This one should be better. And it also solves bug #729247.
Oops, my previous patch didn't work very well with an empty environment. This one should be better. And it also solves bug #729247.