fixing encoding of <, >