Rewrite of hotCoreError
Doc changed