minor formatting issues