Fixes issue #399; removes the appearance of extra $ characters in <pre>