fixing some minor formatting issues