here again I prefer the old behavior. For standard topos it's much better I think