Update comments for method
Fix loop invariant that is wrong

I really have no explanation; this is just silly. Who knows what I was
thinking? It is by no means even close to being right.