Add a few design comments.