PHPDoc additions