Another tweak on model-doc-generator.pl