fix the listings problem that latex2html has.