did find a remaining PHPdoc issue after all!