Fix minor formatting glitch