Bug in warning treedepth?

Seems like the same issues mentioned here.