some minor formatting