some minor formatting stuff