Adding missing invariant comments