Add missing PHPdoc