add proper PHPDoc