Fixing minor display glitch of "$$"