Yes, it really should be cleaned up like all the other `DimensionMismatch` throws.