Clean up a few comments after #11 merge.