Formatting fixes and some clarifications.