Small fix to add type name to invariant violation error