Tweak PHPDoc