refactoring: fix spell 'Invriant' -> Invariant