more PHPdoc stuff