Fix PHPDoc comments