Minor PHPDoc modifications.