Fix html in phpdoc.