Fixing last formatting glitches.