Fix formatting.

TODO: Add a pretty printer to the repo.