Added PHPDOC to XHTML->format