This change was made necessary by a heisenbug in the LaTeX listings module.