fix invariants example

If i'm understanding the example correctly, stack.depth == 0 with no contents.