Can't repeat the error... so... I would say perhaps it's either unique to a browser, user, etc. But we'll keep an eye on it as we always do with such things & see if it creeps more.