Fixed PHPDoc syntax of header commenting