added some PHPDoc