Minor PHPDoc modifications