Update: Just got home (after an excellent lunch in the sun ) and logged on to have the update (131112-0) so all is good.