fixed issue with tigerpop.php