Working set spacing tweak.

Fixes #9132.
That's ok -- just wanted to make sure it was intended.