Fixed some PHPDoc syntax