fixed formatting of CASM references