minor formatting glitch fix