fixed a whole bunch of unicode references, fixed incorrect encoding of clauses