Updating to Bernhard's version
Package Checked
Vignette works