Fix a variable name in PHPDoc.