Fix nonfatalmessage()