Missed a PHPDoc change