Yet another spacing tweak