A couple updates for PHPDoc