Remove redundant invariant()