PHPDoc edits