A few minor clarifications.