fixed some minor formatting stuff