A few minor formatting fixes