some extra PHPDoc - still untested