PHPDoc tweaks