These comments are not PHPDoc comments so don't need to have double `*`