Tweaked server example, gendocs