Work around a LaTeX bug in marginpars
