Correcting version number in PHPDoc doc block