Bug in vignette, formally wrote to users /home/david