fix(invariant-checking): fix data file bug, fix typo