Add some more PHPdoc