Fix some formatting in my last commit (r201196)