Missing operator

In line 1943 of Textile.php the code looks like this

} elseif ($depth  $last_depth) {

The operator between the terms is missing. (I suspect it should be a <= but I haven't analyzed the code so maybe it should be some other operator.)