Re-added accidentally removed line in PHPDoc