Add some PHPDoc