no it was here :)
Oh, I see! This is a different issue than a missing collision box. The collision box above the player here is not visible, so it's not considered for collision. I'll have to fix this in the next version too!
Thanks for the pictures, and for finding this!