better PhStripDoc generation