Typos in the Warren paper on Logic Programmign and Compiler Writing