Added a couple of marginal notes.