Clean up some small formatting issues.

I missed these in my earlier cleanups.