Fix some minor formatting issues