Add some PHPdoc