Fixed some minor formatting issues in these files.