Update vignettes/lebauer.tex