Fixed issue: PHPDoc header