Tweaked example, gendocs