Minor fix
Handle DECCRA
Replace some non-ascii characters in comments