Removed invariant check