Fix some formatting issues that arose.