Added "this" to invariant in example.