Modified PHPDoc header