Code review: added missing PHPDoc