PHPDoc fix
Merge pull request #1738 from schlimpf/patch-4

PHPDoc fix