Fixed some PHPDoc