More fixes of PHPDoc syntax