phpdoc theme fixes