more PHPDoc