fix PHPDoc mistakes