style (Stetement.php) php-doc fixes