Also, I closed this in favor of #4549 (which adds a test).