Fix a couple PHPDoc annotations.