Working set spacing tweak.

Fixes #9132.