clarifications and formatting fixes