added some minor formatting