One typo (George Boole) and one escape fixed