PHPDoc not updated