Hello,

the attached files illustrate a bug in the export of verbatim code to
LaTeX that replaces a sequence of [[xxxxx]] with
[[section-label][xxxxx]].  Actually, this happens when exporting to
html as well so it may be a generic problem.

An example is attached including the org and latex files.  Note that I
cannot easily fix the verbatim code to work around this bug as this
code is automatically generated using babel (with my own maxima
plugin).

Thanks,
eric