fix invariants example

stack depth == 0 w/ no contents
Merge pull request #40 from djbender/patch-1

fix invariants example