Closed ejneer closed 3 months ago
Fixes #1474
This seems like a low risk change (since we're choosing not to do a simplification in one case) and I'm about to release, so I've merged it. Thanks for the fix!
Fixes #1474