add some PHPDocs