@betanalpha, is this intended? There's no test for this code. I just want to make sure the behavior is the correct one. Can you put together a test that will show that the behavior is the same with the old and new code?