Undone PHPDoc change