It was the result of angle grinding close to a battery that I'd just taken off (an uncontrolled) charge It went with a rather loud bang. I suspect that with a voltage and current controlled charger, there would have been less gassing so would not have been a problem.
I wrote:It might be in need of a top-up first though...