fixed some minor formatting issues