The sad thing is: I'd immediately believe if someone told me this was an HSM bug.