Correct a few formatting issues