phpdoc tweaks