pushing PHPDoc fix