@ Elise: we added a comment that could solve a potential mismatch error. However we're not sure if it's what you wanted to do.