This is no PHPDoc change.
Maybe this is a fix for a bug?