Fix indentation in prior commit.

I would have amended the commit but unfortunately noticed just after I'd
already pushed.