Reindent the block. Whitespace-only change.

Followup to 99e8c5.