On my private machine, it's as you say! I'll have to check at work, that's where I I thought I had the problem -- which I now think might just have been me thinking the tab closed because of the tab change. That'd be a relief, because I'm now careful when closing tabs.