One more white-space fix.