Fix some formatting from a recent commit.