Handle DECCRA
Replace some non-ascii characters in comments