Checkpoint check-in so that I can look at the formatting on github.