minor PHPDoc typos fixes