Fix minor formatting