PHPDoc header missing.