Code Editor : amstex.bug